-
1 formal development
Англо-русский словарь по исследованиям и ноу-хау > formal development
-
2 formal
['fɔːm(ə)l]1) Общая лексика: внешний, длинное вечернее платье, казённый, номинальный, одежда для торжественных вечерних приёмов, относящийся к внешней форме, официальный, правильный, симметричный, соответствующий правилам, формальная разработка, формальный, форменный, фрак, церемонный, бал или официальный приём (АБ), допрос "под протокол" (амер сленг), (деловой уровень) деловой2) Военный термин: торжественный3) Химия: формаль4) Юридический термин: надлежаще оформленный, относящийся к форме, надлежащим образом оформленный, в установленной форме, определенно выраженный5) Экономика: выполненный по установленной форме, организованный6) Психология: зависимый от формы, образующий, составляющий, существенный7) Текстиль: "формал" (группа субстантивных красителей, обработанных формальдегидом для крашения вискозного волокна)8) Нефть: формальдегид9) Полимеры: formaldehyde, ацеталь формальдегида10) Теория информации: формальный (напр. об описании)11) Макаров: формовочный (о саде, о садоводстве) -
3 formal
adjective1) официальный; formal call официальный визит; formal permission официальное разрешение2) формальный; номинальный; formal acquiescence формальное согласие3) относящийся к внешней форме, внешний; formal resemblance внешнее сходство4) правильный, соответствующий правилам; симметричный; formal garden(s) английский паркSyn:affected, ceremonial, ceremonious, pompous, proper, punctilious, ritualAnt:haphazard, improvisatory, informal, natural, spontaneous* * *1 (0) надлежаще оформленный2 (a) формальный3 (n) формальная разработка* * *относящийся к внешней стороне, формальный* * *[for·mal || 'fɔrml /'fɔːml] n. вечернее платье, официальный прием adj. официальный, формальный, церемонный; номинальный; внешний; правильный, симметричный* * *внешнийноминальныйофициальныйправильныйсимметричныйформаленформальный* * *1) а) относящийся к внешней стороне (вопроса, проблемы) б) мат., логика строгий, формальный в) правильный 2) официальный 3) формальный
См. также в других словарях:
Формальная логика — Формальная логика конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. Формальная логика, в отличие от неформальной,… … Википедия
Cleanroom Software Engineering — Разработка программного обеспечения Процесс разработки ПО Шаги процесса Анализ • Проектирование • Программирование • Докумен … Википедия
ПРОГРАММИРОВАНИЯ ЯЗЫК — формальная знаковая система, служащая общению человека с ЭВМ. Решая вычислительные задачи или управляя исполнительными механизмами, ЭВМ с ее программным обеспечением демонстрирует сложные формы поведения, обычно относимые к умственной… … Математическая энциклопедия
ДИАЛЕКТИЧЕСКИЙ МАТЕРИАЛИЗМ. — ДИАЛЕКТИЧЕСКИЙ МАТЕРИАЛИЗМ. С о д е р ж а н и е: I. Предмет диалектического материализма 479 II. Возникновение диалектического материализма.... 480 III. Ленинский этап в развитии диалектического материализма 481 IV. Материя и сознание 483 V.… … Философская энциклопедия
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия